A dynamic logic for acting, sensing, and planning
نویسندگان
چکیده
منابع مشابه
A dynamic logic for acting, sensing, and planning
This paper is a first attempt towards a theory for reactive planning systems, i.e. systems able to plan and controlexecution of plans in a partially known and unpredictable environment. We start from an experimental real worldapplication developed at IRST, discuss some of the fundamental requirements and propose a formal theory based onthese requirements. The theory takes into accou...
متن کاملA Logic for Acting, Sensing and Planning
We present a logic which allows us to reason about acting, and more specifically about sensing, i.e. actions tha t acquire in format ion f rom the real wor ld , and planning, i.e. actions that generate and execute plans of actions. Th is logic takes in to account the fact that , as it happens in real systems, actions may fa i l , and provides the ab i l i ty of reasoning about failure hand l in...
متن کاملESP: A Logic of Only-Knowing, Noisy Sensing and Acting
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, the one by Bacchus, Halpern and Levesque, which uses the situation calculus, is perhaps the most expressive. However, there are still some open issues. For example, it remains unclear what an agent’s knowledge base woul...
متن کاملA Logic of Acting, Sensing, Knowing, and Only Knowing
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic of only knowing due to Levesque. In this paper, we propose the logic , which combines both approaches in a clean and natural way. We present a semantics for which generalizes the semantics of to account for actions, and a sound and ...
متن کاملAOL: A logic of Acting, Sensing, Knowing, and Only Knowing
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only knowing due to Levesque. In this paper, we propose the logic AOL, which combines both approaches in a clean and natural way. We present a semantics for AOL which generalizes the semantics of OL to account for actions, and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2000
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/10.6.787